1. Computable set theory
پدیدآورنده : Cantone, Domenico
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Computable functions
رده :
QA
248
.
C26C6
2. Set theory for computing : from decision procedures to declarative programming with sets
پدیدآورنده : Cantone, Domenico
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Computable functions
رده :
QA
248
.
C26S4